Search results for "Mathematical structure"
showing 10 items of 17 documents
General decidability theorems for infinite-state systems
2002
Over the last few years there has been an increasing research effort directed towards the automatic verification of infinite state systems. This paper is concerned with identifying general mathematical structures which can serve as sufficient conditions for achieving decidability. We present decidability results for a class of systems (called well-structured systems), which consist of a finite control part operating on an infinite data domain. The results assume that the data domain is equipped with a well-ordered and well-founded preorder such that the transition relation is "monotonic" (is a simulation) with respect to the preorder. We show that the following properties are decidable for …
Statistical physics: Some basic principles of fluctuation and noise theory
1983
Abstract Models have traditionally played a significant role in statistical mechanics. In view of the complexity of the system which statistical mechanics attempt to describe, this is not at all surprising. The study of simplified models has frequently revealed the underlying mathematical structure of many physical questions and in so doing the study of models has contributed directly to a clarification of several paradoxes which beset statistical mechanics. In this paper some of the models which appear to be useful for the discussion of non-equilibrium phenomena are examined in some detail. As usual these models are extremely simplified versions of the actual situations. It is, finally, as…
Mathematical properties of nested residues and their application to multi-loop scattering amplitudes
2021
Journal of high energy physics 02(2), 112 (2021). doi:10.1007/JHEP02(2021)112
General mathematical concept of compensation in sports science with quantitative analysis in the case of sprinting performance
1995
In many of the known sports disciplines, especially in athletics, the criterion which determines the positions of the competitors is a simple physical value, mostly a time or a distance, and the athlete with the minimum or maximum, respectively, takes the first place. Moreover, sports science explains this criterion by a set of the so-called basic abilities. Compensation means the balance of the inferiority of such a basic ability by the superiority of another one. In the following paper, a general abstract concept to analyse compensation in a quantitative way is presented first. It can be applied to any discipline with a measurable criterion, if, in addition, the performance can be describ…
M-bornologies on L-valued Sets
2017
We develop an approach to the concept of bornology in the framework of many-valued mathematical structures. It is based on the introduced concept of an M-bornology on an L-valued set (X, E), or an LM-bornology for short; here L is an iccl-monoid, M is a completely distributive lattice and \(E: X\times X \rightarrow L\) is an L-valued equality on the set X. We develop the basics of the theory of LM-bornological spaces and initiate the study of the category of LM-bornological spaces and appropriately defined bounded “mappings” of such spaces.
Quantum Mechanics as a Semantic Problem
2018
Physics, like all science, is grown out of a desire to understand the world. However, modern physics with its mathematical form has become increasingly removed from the world of everyday experience and visual imagination. In quantum mechanics it is impossible to visualize the reality represented by the theory. All we have is a consistent mathematical structure. Although the theory works perfectly well instrumentally, the question remains, how can the mathematics of the theory impart understanding? If we look at mathematics as a language, we are faced with the semantic problem: how does the language of mathematics acquire meaning? In an attempt to answer this question, I study Derrida’s earl…
Mathematical Issues in a Fully-Constrained Formulation of Einstein Equations
2008
Bonazzola, Gourgoulhon, Grandcl\'ement, and Novak [Phys. Rev. D {\bf 70}, 104007 (2004)] proposed a new formulation for 3+1 numerical relativity. Einstein equations result, according to that formalism, in a coupled elliptic-hyperbolic system. We have carried out a preliminary analysis of the mathematical structure of that system, in particular focusing on the equations governing the evolution for the deviation of a conformal metric from a flat fiducial one. The choice of a Dirac's gauge for the spatial coordinates guarantees the mathematical characterization of that system as a (strongly) hyperbolic system of conservation laws. In the presence of boundaries, this characterization also depen…
Heat transfer in conducting and radiating bodies
1997
Abstract We introduce briefly some nonlocal models for heat transfer in conducting and radiating media. The goal is to give an idea of the general mathematical structure and related existence results for such models.
Unifying vectors and matrices of different dimensions through nonlinear embeddings
2020
Complex systems may morph between structures with different dimensionality and degrees of freedom. As a tool for their modelling, nonlinear embeddings are introduced that encompass objects with different dimensionality as a continuous parameter $\kappa \in \mathbb{R}$ is being varied, thus allowing the unification of vectors, matrices and tensors in single mathematical structures. This technique is applied to construct warped models in the passage from supergravity in 10 or 11-dimensional spacetimes to 4-dimensional ones. We also show how nonlinear embeddings can be used to connect cellular automata (CAs) to coupled map lattices (CMLs) and to nonlinear partial differential equations, derivi…
A Realist Philosophy of Mathematics
2007
The realism/anti-realism debate is one of the traditional central themes in the philosophy of mathematics. The controversies about the existence of the irrational numbers, the complex numbers, the infinitesimals, etc. will be familiar to all who are acquainted with the history of mathematics. This book aims mainly at presenting and defending a non-Platonist form of mathematical structural realism which, in the respect of the history of mathematics, harmonizes with a plausible epistemology that naturally arises from it.